On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·23h
🎯Performance Proofs
Compiling a Functional Language to LLVM
danieljharvey.github.io·20h·
Discuss: Lobsters, Hacker News
🔗Lisp
Visualising Topology Inspired Computing Algorithms
antifold.com·6h·
Discuss: Hacker News
📐Mathematical Art
Hashers (Murmur)
github.com·1d
🔐Hash Functions
Bech32 encoding
johndcook.com·12h
🔧Error Correction
Fundamentals of Wireless Communication
web.stanford.edu·2d·
Discuss: Hacker News
ℹ️Information Theory
NPM debug and chalk packages compromised
aikido.dev·1d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🏺ZIP Archaeology
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·7h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
WordPress and Wikipedia
cameroncounts.wordpress.com·2d
🧮Algebraic Archives
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·11h
🎯Arithmetic Coding Theory
More adventures in the land of AI and Open Source
blogs.gnome.org·12h
🦀Rust Macros
Quantum Entanglement Fidelity Enhancement via Adaptive Error Correction Protocols
dev.to·1d·
Discuss: DEV
⚛️Quantum Error Correction
OCR and RAG for Tables
mrm1001.github.io·13h·
Discuss: Hacker News
📄Document Digitization
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·1d
🔲Cellular Automata
Single-Shot Decoding of Biased-Tailored Quantum LDPC Codes
arxiv.org·23h
⚛️Quantum LDPC
Real-Time GPU Texture Compression in Three.js
ludicon.com·10h·
Discuss: Hacker News
🎨LUT Compression
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·10h·
Discuss: r/programming
🌸Bloom Filters
The bloat of edge-case first libraries
43081j.com·6h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Converting JWKS JSON to PEM using Python
akrabat.com·17h
📝ABNF Parsing
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·23h
🛡️Proof-Carrying Data